Program Testing Using High-Level Property-Driven Models
نویسندگان
چکیده
Testing is a crucial part of the software development life cycle that necessitates adequate techniques and tools. On the one hand, unit testing techniques are particularly easy and lightweight to use but are restricted to testing the external behaviour of a program. On the other hand, testing techniques that use property-driven models of the software are able to test behavioural properties of the entire execution of a program. However, these models are often specified in terms of low-level execution events of the program. In this paper, we present the lightweight propertydriven testing platform called BEHAVE, where tests are written as property-driven behavioural models over highlevel run-time events. We validate our approach by testing behavioural properties related to the automatic memory management in the interpreter of the Pico programming language.
منابع مشابه
The Effect of Property Rights on Entrepreneurship:Evidence from Some Factor-driven, Efficiency-driven, and Innovation-driven Countries
Entrepreneurship is influenced by many factors and environments such as institutions. Institutions have an important role to play in the individual's tendency toward necessity and opportunity entrepreneurship. The purpose of this paper was to examine the impact of institutional quality (property rights) on opportunity and necessity entrepreneurship. The results, based on unbalanced panel data f...
متن کاملEVALUATION OF CONCRETE COMPRESSIVE STRENGTH USING ARTIFICIAL NEURAL NETWORK AND MULTIPLE LINEAR REGRESSION MODELS
In the present study, two different data-driven models, artificial neural network (ANN) and multiple linear regression (MLR) models, have been developed to predict the 28 days compressive strength of concrete. Seven different parameters namely 3/4 mm sand, 3/8 mm sand, cement content, gravel, maximums size of aggregate, fineness modulus, and water-cement ratio were considered as input variables...
متن کاملDoes Participation in Farmer Field School Extension Program Improve Crop Yields? Evidence from Smallholder Tea Production Systems in Kenya
Agricultural Extension services are among the most important rural services in developing countries. The services are considered to be a key driver of technological change and productivity growth in agriculture. In Kenya, like in the rest of the developing economies, agricultural extension has largely been delivered through supply–driven approaches. Due to perceived low impact of agricultural e...
متن کاملTesting and Debugging Concurrency Bugs in Event-Driven Programs
Event-driven programs are prone to concurrency bugs due their inherent nature of handling asynchronous events. Asynchronous events introduce logical concurrency into these programs making them hard to be thoroughly tested and debugged. However, understanding the root causes and characteristics of concurrency bugs can ease the debugging process and help developers to avoid introducing them. Unfo...
متن کاملIntegrating a Performance Analysis Kit into Model-Driven Development
Model-driven development is a generative programming technique in which domain-specific features and engineering decisions are described using models of desired properties and behavior at various levels of abstraction. Producing models at the requisite level of specificity is an expensive undertaking. Generally, organizations offset the costs associated with generative techniques like model-dri...
متن کامل